On the Recognizing Power of the Lambek Calculus with Brackets
نویسنده
چکیده
Every language recognized by the Lambek calculus with brackets is context-free. This is shown by combining an observation by Jäger with an entirely straightforward adaptation of the method Pentus used for the original Lambek calculus. The case of the variant of the calculus allowing sequents with empty antecedents is slightly more complicated, requiring a restricted use of the multiplicative unit.
منابع مشابه
Eliminating the unit constant in the Lambek calculus with brackets
We present a translation of the Lambek calculus with brackets and the unit constant, Lb∗1, into the Lambek calculus with brackets allowing empty antecedents, but without the unit constant, Lb∗. Using this translation, we extend previously known results for Lb∗ to Lb∗1: (1) languages generated by categorial grammars based on the Lambek calculus with brackets are context-free (Kanazawa 2017); (2)...
متن کاملLambek Calculus: Recognizing Power and Complexity
I survey known results and results that easily follow from known results about the recognizing power and complexity of various fragments of the Lambek calculus.
متن کاملA Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order
Lambek calculus is a logical foundation of categorial grammar, a linguistic paradigm of grammar as logic and parsing as deduction. Pentus (2010) gave a polynomial-time algorithm for determining provability of bounded depth formulas in L∗, the Lambek calculus with empty antecedents allowed. Pentus’ algorithm is based on tabularisation of proof nets. Lambek calculus with brackets is a conservativ...
متن کاملAnalytical solution of the use of oblique arms in reducing the forces imposed on brackets of the vertical generator and its foundation
In large hydroelectric power-plants with a power of more than 100 megawatts, vertical generators are used, in which the diameter and the weight of their stator exceeding 8 meters and several hundred tons, respectively. In this structure, which is the location of the magnetic plates and the stator core, there are two rings with radial or oblique arms for mounting bearings of rotating parts of th...
متن کاملProof nets for the Lambek calculus — an overview
There are both linguistic and mathematical reasons for studying proof nets the perspective of categorial grammar. It is now well known that the Lambek calculus corresponds to intuitionnistic non-commutative multiplicative linear logic — with no empty antecedent, to be absolutely precise. As natural deduction underlines the constructive contents of intuitionistic logic (Curry-Howard isomorphism)...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1709.07695 شماره
صفحات -
تاریخ انتشار 2017